Самая большая электронная библиотека рунета. Поиск книг и журналов

Relating Software Requirements and Architectures

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 6.08 Mb

Theorem Proving in Higher Order Logics, 9 conf., TPHOLs'96

Автор: , Автор: , Автор:
Размер книги: 3.17 Mb